#include <stdio.h>

int main()
{
    int n = 0, s = 0;
    scanf("%d", &n);
    for (int i = 0; i < n; s += ++i)
        ;
    printf("%d", s);
    return 0;
}